" Armando Tacchella" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers (Lecture Notes in Computer Science)

Enrico Giunchiglia, Armando Tacchella

Категория: Компьютеры

19.87 Mb

#2

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

Enrico Giunchiglia, Armando Tacchella

6.05 Mb